Every group is a homomorphic image of a free group.